| Definitions | t  T, Msg(M), IdLnk, Id, w.M, f(a), x:A  B(x), P   Q, False,  A, A  B,  , {x:A| B(x)} ,  , x:A  B(x),  x:A. B(x), S  T, #$n, s(i;t).x, a(i;t), kind(a), isrcv(k), left + right, P  Q, Dec(P),  b,  b, P & Q, P  Q, tag(k), lnk(k),  , s = t,  , act(k), w.TA, islocal(k), Unit, kindcase(k; a.f(a); l,t.g(l;t) ), valtype(i;a), Type, val(a), r + s,  x.A(x), vartype(i;x), w.T, n+m, a < b, Void, type List, mlnk(m), source(l), m(i;t), outl(x), isl(x), A c B,  , isnull(a), let x,y,z = a in t(x;y;z), w-automaton(T;TA;M), w-machine(w;i), World, destination(l), isrcv(l;a), w-machine-constraint(w) |